The set of all automorphisms of <i>E</i> that take every element of <i>F</i> to itself. The notation for this group is Gal(<i>E/F</i>).